Utilizing Informal Formative Assessment and Dialogicity During Reflections on Educational Dialogue in Mathematics

Reflections on reflections in explicit mathematics

We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the relevant systems of explicit mathematics is couched in terms of suitable extensions of KripkePlatek set theory.

Full Formative Assessment based on Educational Video Games

The attention on the use of computer games in education (educational gaming) is quickly growing. By investigating the impact of video games in school, researchers have shown a remarkable improvement in student engagement and motivation. Nevertheless, the effects of educational gaming have rarely been considered on a long running application and, most important, they have never been considered i...

Reflections on Mathematics∗

Though the philosophy of mathematics encompasses many kinds of questions, my response to the five questions primarily focuses on the prospects of developing a unified approach to the metaphysical and epistemological issues concerning mathematics. My answers will be framed from within a single conceptual framework. By ‘conceptual framework’, I mean an explicit and formal listing of primitive not...

Some Informal Reflections on Rijndael and Twofish

Teaching Me Softly: Experiences and Reflections on Informal Educational Game Design

Video games are highly engaging environments. Therefore, there is a growing interest in harnessing their motivational potential via game-based learning. However, putting curricular content into digital games is not trivial. Many educational games fail to combine teaching and gameplay in a subtle way, thereby suffer from low-grade design and fail to utilise the motivational potential of video ga...